nfa to dfa problems